Summary:
Logics for social networks have been studied in the recent literature. This paper presents a framework based on dynamic term-modal logic (DTML), a quantified variant of dynamic epistemic logic (DEL). In contrast with DEL where it is commonly known to whom agent names refer, DTML can represent dynamics with uncertainty about agent identity. We exemplify dynamics where such uncertainty and de re/de dicto distinctions are key to social network epistemics. Technically, we show that DTML semantics can represent a popular class of hybrid logic epistemic social network models. We also show that DTML can encode previously discussed dynamics for which finding a complete logic was left open. As complete reduction axioms systems exist for DTML, this yields a complete system for the dynamics in question.
JCR Impact Factor and WoS quartile: 0,700 - Q2 (2022); 0,700 - Q1 (2023)
DOI reference:
https://doi.org/10.1093/logcom/exac019
Published on paper: September 2022.
Published on-line: May 2022.
Citation:
A. Occhipinti Liberman, R.K. Rendsvig, Reasoning about epistemic social network dynamics using dynamic term-modal logic. Journal of Logic and Computation. Vol. 32, nº. 6, pp. 1067 - 1087, September 2022. [Online: May 2022]
